KERNEL_ARCH = dakota
KERNEL_VERS = 1.2
KERNEL_BUILD = 7742
KERNEL_EXT = txz
KERNEL_DIST = linux-4.4.x
KERNEL_BASE_ARCH = arm

include ../../mk/spksrc.kernel.mk
